English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with (...) Aristotle’s invalidity proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

El debate que se gestó alrededor del concepto de existencia en manos de Willard Van Orman Quine y Rudolf Carnap, dio al siglo XX un cúmulo de aportes significativos a la ontología. La postura realista, con algunas variantes, de Quine y el criterio anti-realista de Carnap, otorga insumos para pensar de mejor forma cómo se intenta dar descripciones acerca del inmobiliario del mundo. Conocer este debate es importante, ya que, se expone los alcances y limitaciones que implican las explicaciones ontológicas (...) acerca de la realidad que deben ser tenidas en cuenta en la actualidad. Este trabajo cumple esa función, la de explicar sintéticamente uno de los debates más importantes para la ontología. (shrink)

This chapter aims to examine the configuration of the sharing economy in the United Kingdom. The chapter provides an examination of the key opportunities and challenges that this socio-economic model generates in the country. It includes an account of different sharing economy initiatives in the United Kingdom, including crowdfunding projects, tool libraries, timesharing banks, men’s sheds, and shared workspaces, commercial sharing economy services, micro-libraries, community-gardening projects, and paid online peer-to-peer accommodation. Increased consumer choice and economic benefits derived from an extended (...) economy around the sharing economy are identified as key opportunities. Key challenges relate to policymaking and taxation of businesses and participants in the sharing economy, as well as the wider enforcement of health and safety regulations and the impact that the recent pandemic is having on the industry. The chapter also provides an examination of the latest developments and regulations in this area. In addition, the chapter identifies the most pressing issues and possible future directions of research in this context. (shrink)

Etnomatematika merupakan konsep matematika yang terdapat didalam suatu budaya. kehadiran matematika yang bernuansa budaya akan memberikan kontribusi yang besar terhadap pembelajaran matematika. Penelitian ini bertujuan untuk menentukan bagaimana model pembelajaran etnomatematika dalam menumbuhkan motivasi belajar siswa di sekolah dasar. Jenis penelitian deskriptif kualitatif digunakan dalam penelitian ini. Metode penelitian yang meliputi kepada mengamati bersama menemukan jawaban atas masalah secara metode dan analisis. Penelitian ini dilakukan pada bulan Februari 2023 selama semester genap. Dengan cara mengumpulkan data meliputi wawancara kepada guru kelas (...) lV dan siswa kelas lV di SD Lematang Lestari. Hasil penelitian menunjukkan bahwa Jembatan Ampera dan Kain Songket pada Kota Palembang Provinsi Sumatera Selatan memiliki etnomatematika yang berkaitan dengan konsep-konsep matematika diantaranya macam-macam garis dan bangun datar. Membuat pembalajaran matematika lebih menarik dan menyenangkan serta menumbuhkan motivasi belajar siswa sesuai dengan wawancara yang dilakukan oleh guru kelas lV dan siswa kelas lV Sekolah Dasar Lematang Lestari. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

On how medieval philosophy is not (only) theology.

Loyalty is considered central to people’s moral life, yet little is known about how people think about what it means to be loyal. We used a prototype approach to understand how loyalty is represented in Colombia and the United States and how these representations mediate attributions of loyalty and moral judgments of loyalty violations. Across 7 studies (N = 1,984), we found cross-cultural similarities in the associative meaning of loyalty (Study 1) but found differences in the centrality of features associated (...) with loyalty (Study 2) and the latent structure of loyalty representations (Study 3). Colombians represent loyalty in terms of more general moral characteristics, while US participants represent loyalty in terms of interpersonal commitment, both in contrast with current approaches to loyalty. By comparing representations of loyalty and honesty, we establish that difference in loyalty conceptualizations reflect a different way of thinking about loyalty rather than morality more generally (Study 4). Further, Colombians attributed greater loyalty to individuals with general moral characteristics compared to participants from the United States sample (Study 5) and were more likely to classify non-loyal values as loyalty-related (Study 6). While the centrality of prototypical features predicts categorizing norm violations as loyalty-related, differences in prototypical structure account for differences in the severity of moral judgment for such violations (Study 7), which suggests that loyalty representations have similar functions even though these representations differ in structural characteristics. (shrink)

Posing qualia as the mark of the mental presents problems for both reductionist and non-reductionist views of the mind. An alternative platform to understand the ontology of mental states is presented using Polo's retrieval of Aristotle's notion of energeia. I propose that mental states are characterized in terms of temporal integration, a feature of mental states that happen in time but do not require duration in time. Other features like simultaneity, commensurability, and non-failure are derived from this 'zero-time' that characterizes (...) mental states. Some consequences that the 'zero-time' approach entails for a theory of the mind, especially for our understanding of the relationships between consciousness and intentionality and the structure of the mind, are presented. (shrink)

This paper tests Leonardo Polo’s concausality against the challenges of epiphenomenalism, overdetermination, and reductionism that the contemporary mind-body problem presents. Analysis of Jaegwon Kim’s criticism of John Searle’s Biological Naturalism exemplifies the aporias of the mind-body relation generated by dualism and physicalism. In contrast with these ontologies, Aristotle’s notion of matter as potentiality requires a plurality of causal senses and is a viable alternative to both dualism and monism. Polo’s reprisal of Aristotle’s substance as concausality provides a revision of our (...) senses of causation and an ontological framework that makes coherent our experience of consciousness and our understanding of physical reality. (shrink)

This paper explores Polo's proposal of an anthropological access to God's existence in addition to the traditional metaphysical Five Ways. More specifically, it focuses on the role of intellectual habits, in particular the habit of wisdom and the habit of personal intellect, in acquiring knowledge of God as the creator of the person. Habitual knowledge, according to Polo, is possible because the agent intellect illuminates intelligible contents, may that be the phantasm, to operations of the intellectual faculty or any other (...) actualization and perfection of the intellect. Through that illumination, the agent intellect communicates freedom to human nature, rendering the former open to unrestricted growth. The anthropological path to God depends on the habit of wisdom by which we come to know ourselves, not just in our nature and faculties but in the source of what makes our nature capable of unrestricted growth and freedom, namely, our personal act of being. It is when we know our personal act of being that we also glance at the Creator of our freedom, not just as a cause of it, but as the kind of Co-existence that brings us into co-existence. (shrink)

Reseña del libro "José Vasconcelos. Ideario de acción: Discursos, artículos, cartas, documentos 1920-1924." Review of this book of a Mexican Philosopher.

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

Science, technology, and professions form a system with strong interactions. Yet, these activities attack different kinds of problems which require different kinds of solutions. The problems that trigger scientific and technological research remain insufficiently solved or unsolved, therefore their possible solutions must be invented (i. e. they are partially or totally original) and, consequently, they should be tested against reality by researchers before considering them as true or useful. On the contrary, the problems that trigger professional inquiry are already solved, (...) or have at least some partial solution at hand that is available in the form of a technical protocol. This solution is applied with caution but without testing (i. e. the professional assumes that the solution works because it was already challenged by researchers). Moreover, science and technology tackle unsolved inverse problems, which allow the radical advancement of knowledge, and genuine innovation. A science policy based on a clear distinction between creative and routine activities (i. e. a cre- atively friendly policy) offers an opportunity for societies to reach value-added innovative economic and integral development. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

Berkeley was a philosopher who wrote about such diverse topics as natural philosophy, political philosophy, mathematics, economy, and theology. Within this broad range of interests, his concern about the infinite spirit stands out; thus, the aim of this paper is to trace the origins of Berkeley´s conception of God, an issue which is already prefigured in the Philosophical Commentaries. The importance of knowing and analyze the notes that make up the Commentaries lies in that they make it possible to understand (...) not only how the incipient immaterialist philosophy was established, but above all –being purpose of this paper– what features and role God acquired within it. (shrink)

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

Given plausible assumptions about the nature of evidence and undercutting defeat, many believe that the force of the evidential problem of evil depends on sceptical theism’s being false: if evil is...

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an (...) alliance between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (shrink)

Aesthetic subjectivism takes the truth of aesthetic judgments to be relative to the individual making that judgment. Despite widespread suspicion, however, this does not mean that one cannot be wrong about such judgments. Accordingly, this does not mean that one cannot gain higher-order evidence of error and fallibility that bears on the rationality of the aesthetic judgment in question. In this paper, we explain and explore these issues in some detail.

Since John Von Neumann's proposition in 1932 of a relationship between quantum mechanics and the brain, different perspectives and proposals have evolved (Tarlaci, 2010). Hu & Wu (2006) point out that the seat of consciousness would be the spin within the membranes of neurons and proteins in the brain. Sieb (2016) applied the theory of relativity to spatiotemporal consciousness and found correlations with aspects of brain functioning. Another suggestion is that consciousness emerges because of the Orchestrated Objective Reduction in microtubules (...) (Hameroff & Penrose, 2003). However, few studies about the psychological implications of the relationship between quantum mechanics and the brain and its application to individual psychology exist. (shrink)

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

The question of what art is and why certain objects and events are considered art is examined. In the light of John Searle’s Social Philosophy, a hybrid Institutionalist-Functionalist explanation of what counts as art is presented. However, Searle’s apparatus applied to the ontology of the work of art is not enough to answer the question of why art has the status it exhibits. The proposal is to trace back the ontology of art to the origins of the dichotomy between freedom (...) and necessity, and more specifically to the notion of “end in itself” presented by Kant, as the status that persons have. Ultimately, the ontology of art emerges as a projection of the status “end in itself”, of personhood, to objects and events. (shrink)

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

SINGULARITY: 12 Precepts for Transcendental Living | © 2022 Cromwell Black Publishing House | Original work by Luis Herrera. -/- Living transcendentally is not the same as ‘having the answers to life.’ The intention with which this book is written is to help you identify the God within yourself. Religion is a guidepost, but not the answer. Philosophy is a guidepost, not the answer. People that over-identify with one group or tribe for ideological reasons invariably meet with disappointment because (...) there will always be some tenets they internally oppose and disagree with. Yet they ignore their inner voice in order to ‘fit in with the rest.’ Man is a social animal and excommunication from the tribe has been tantamount to extinction of our lineage since our days as hunters and gatherers. By living transcendentally I have learned to acknowledge, welcome and accept the space between myself and my tribe. I invite you to do the same. -/- Learning to listen to the God within, I can trust my inner voice more because there is a message spoken there, uniquely for me, that will never be printed on the pages of the Bible, or the Koran, or the Tao Te Ching, or any other book for that matter. There’s only one YOU. Others may have your name, but not your identity. They may share your birth date and hospital, but not your parents. They may share your parents, but not your name. Do you see what I’m getting at here? Therefore how can a ‘one-size fits all’ religion, education or philosophy possibly answer the question to your meaning of life? There is no the meaning of life, because there is no the life. There are infinite lives, for which infinite meanings must be furnished. Hence the importance of learning to trust yourself, your inner voice, conscience – the God within. (shrink)

This is not a guide for your writing process. You should write in whatever way expressing and making sense of your ideas feels most natural and most productive to you. This is a guide for organizing your ideas, after you have captured some of them in fits and starts of prose, into a particular kind of final product: the basic philosophy paper.

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (shrink)

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

I will center the discussion of the Hart-Fuller debate on the five claims Hart mentions might be understood as legal positivisms main tenets: (1) the command theory; (2) the no necessary connection thesis; (3) the methodological claim; (4) the charge of positivism as formalism and the problem of interpretation; and (5) the meta-ethical confusion. In light of these five claims, I will explore whether the exchange of views between Hart and Fuller in 1957 truly amounted to a debate. Sorting out (...) this issue is the aim of this article. (shrink)

In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, Augusto (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

This paper deals with Veronica Rodriguez-Blanco’s answer to the paradox of the normativity of law: How can autonomous self-legislating persons act, without compromising their autonomy and their will, following legal rules? Regarding Rodriguez-Blanco’s answer, I offer two main critiques. The first one is based on Rodriguez-Blanco’s comments to David Enoch’s paper in which I argue against the idea that a descriptive theoretical account of law can, and should, give an answer to general problems of normativity due to the fact that (...) a theoretical approach that engages in questions about the normativity of law cannot be purely descriptive, therefore against Rodriguez-Blanco I conclude that Enoch’s answer is the only response a descriptive account is able to offer. The second criticism focuses on Rodriguez-Blanco’s response to the paradox and argues that her solution is not, in fact, a descriptive one, but one that relies on strong normative premises, which as it turns out defend a perfectionist perspective towards the law.Resumen:Este trabajo analiza la respuesta que Veronica Rodriguez-Blanco propone para resolver la paradoja de la normatividad del derecho: ¿Cómo es posible que una persona autónoma actúe siguiendo los mandatos de normas jurídicas sin comprometer su autonomía ni su voluntad? El autor ofrece dos críticas a la respuesta de Rodriguez-Blanco. La primera de ellas está basada en los comentarios que Rodriguez-Blanco ha hecho sobre la propuesta de David Enoch. En este punto, el autor argumenta en contra de la idea según la cual una perspectiva descriptiva del derecho puede, y debe, tratar de responder a los problemas generales de la normatividad del derecho. De acuerdo con el autor, una perspectiva que pretenda dar respuesta a los problemas de la normatividad del derecho no puede ser una perspectiva puramente descriptiva. En este sentido, el autor sostiene que la respuesta que ofrece Enoch es la única respuesta que una perspectiva descriptiva del derecho puede dar. La segunda crítica está dirigida a la respuesta que Rodriguez-Blanco da sobre la paradoja de la normatividad. En este segundo punto el autor argumenta que la perspectiva de Rodriguez-Blanco no es una perspectiva descriptiva como ella presume, sino que adopta una perspectiva normativa la cual, además, está comprometida con una idea perfeccionista del derecho. (shrink)